Web Site Synthesis Based on Computational Logic
نویسندگان
چکیده
منابع مشابه
Semantic Web Service Composition via Logic-based Program Synthesis
The ability to efficient selection and integration of inter-organizational heterogeneous Web services at runtime becomes an important requirement to the Web service provision. In an Web service application, if no single existing Web service can satisfy the functionality required by the user, there should be a program or an agent to automated combine existing services together in order to fulfil...
متن کاملSynthesis of Programs in Computational Logic
Since the early days of programming and automated reasoning, researchers have developed methods for systematically constructing programs from their speci cations. Especially the last decade has seen a urry of activities including the advent of specialized conferences, such as LOPSTR, covering the synthesis of programs in computational logic. In this paper we analyze and compare three state-of-t...
متن کاملExpressive Logic-Based Syndication on the Web
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive syndication approaches; that is, subscribers and publishers are provided with more expressive means of describing their interests and published content, enabling more accurate information filtering. In this paper, we fo...
متن کاملComputational Science Simulations Based on Web Services
We describe the software architecture of a system for doing multiphysics simulation of a coupled fluid, thermal, and mechanical fracture problem. The system is organized as a collection of geographically-distributed software components in which each component provides a web service, and uses standard web-service protocols to interact with other components. The resulting system incorporates many...
متن کاملRule Generation Methods Based on Logic Synthesis
One of the most relevant problems in artificial intelligence is allowing a synthetic device to perform inductive reasoning, i.e. to infer a set of rules consistent with a collection of data pertaining to a given real world problem. A variety of approaches, arising in different research areas such as statistics, machine learning, neural networks, etc., have been proposed during the last 50 years...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Knowledge and Information Systems
سال: 2003
ISSN: 0219-1377,0219-3116
DOI: 10.1007/s10115-002-0088-z